$\forall$$x$:chain\_master(). ($\uparrow$cmconfig?($x$)) $\Rightarrow$ (cmconfig{-}list($x$) $\in$ (Id List))